lucifer vs miguel